More from this Author

Types for Proofs and Programs

by Herman Geuvers (Editor), Freek Wiedijk (Editor)

Types for Proofs and Programs

by Herman Geuvers (Editor), Freek Wiedijk (Editor)

Hybrid Systems

by Oded Maler (Editor), Amir Pnueli (Editor), Freek Wiedijk (Editor)